3.2906 \(\int \frac {1}{(c e+d e x) (a+b (c+d x)^3)^3} \, dx\)

Optimal. Leaf size=94 \[ -\frac {\log \left (a+b (c+d x)^3\right )}{3 a^3 d e}+\frac {\log (c+d x)}{a^3 d e}+\frac {1}{3 a^2 d e \left (a+b (c+d x)^3\right )}+\frac {1}{6 a d e \left (a+b (c+d x)^3\right )^2} \]

[Out]

1/6/a/d/e/(a+b*(d*x+c)^3)^2+1/3/a^2/d/e/(a+b*(d*x+c)^3)+ln(d*x+c)/a^3/d/e-1/3*ln(a+b*(d*x+c)^3)/a^3/d/e

________________________________________________________________________________________

Rubi [A]  time = 0.08, antiderivative size = 94, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.125, Rules used = {372, 266, 44} \[ \frac {1}{3 a^2 d e \left (a+b (c+d x)^3\right )}-\frac {\log \left (a+b (c+d x)^3\right )}{3 a^3 d e}+\frac {\log (c+d x)}{a^3 d e}+\frac {1}{6 a d e \left (a+b (c+d x)^3\right )^2} \]

Antiderivative was successfully verified.

[In]

Int[1/((c*e + d*e*x)*(a + b*(c + d*x)^3)^3),x]

[Out]

1/(6*a*d*e*(a + b*(c + d*x)^3)^2) + 1/(3*a^2*d*e*(a + b*(c + d*x)^3)) + Log[c + d*x]/(a^3*d*e) - Log[a + b*(c
+ d*x)^3]/(3*a^3*d*e)

Rule 44

Int[((a_) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d*
x)^n, x], x] /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - a*d, 0] && ILtQ[m, 0] && IntegerQ[n] &&  !(IGtQ[n, 0] && L
tQ[m + n + 2, 0])

Rule 266

Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Dist[1/n, Subst[Int[x^(Simplify[(m + 1)/n] - 1)*(a
+ b*x)^p, x], x, x^n], x] /; FreeQ[{a, b, m, n, p}, x] && IntegerQ[Simplify[(m + 1)/n]]

Rule 372

Int[(u_)^(m_.)*((a_) + (b_.)*(v_)^(n_))^(p_.), x_Symbol] :> Dist[u^m/(Coefficient[v, x, 1]*v^m), Subst[Int[x^m
*(a + b*x^n)^p, x], x, v], x] /; FreeQ[{a, b, m, n, p}, x] && LinearPairQ[u, v, x]

Rubi steps

\begin {align*} \int \frac {1}{(c e+d e x) \left (a+b (c+d x)^3\right )^3} \, dx &=\frac {\operatorname {Subst}\left (\int \frac {1}{x \left (a+b x^3\right )^3} \, dx,x,c+d x\right )}{d e}\\ &=\frac {\operatorname {Subst}\left (\int \frac {1}{x (a+b x)^3} \, dx,x,(c+d x)^3\right )}{3 d e}\\ &=\frac {\operatorname {Subst}\left (\int \left (\frac {1}{a^3 x}-\frac {b}{a (a+b x)^3}-\frac {b}{a^2 (a+b x)^2}-\frac {b}{a^3 (a+b x)}\right ) \, dx,x,(c+d x)^3\right )}{3 d e}\\ &=\frac {1}{6 a d e \left (a+b (c+d x)^3\right )^2}+\frac {1}{3 a^2 d e \left (a+b (c+d x)^3\right )}+\frac {\log (c+d x)}{a^3 d e}-\frac {\log \left (a+b (c+d x)^3\right )}{3 a^3 d e}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.04, size = 66, normalized size = 0.70 \[ \frac {\frac {a \left (2 \left (a+b (c+d x)^3\right )+a\right )}{\left (a+b (c+d x)^3\right )^2}-2 \log \left (a+b (c+d x)^3\right )+6 \log (c+d x)}{6 a^3 d e} \]

Antiderivative was successfully verified.

[In]

Integrate[1/((c*e + d*e*x)*(a + b*(c + d*x)^3)^3),x]

[Out]

((a*(a + 2*(a + b*(c + d*x)^3)))/(a + b*(c + d*x)^3)^2 + 6*Log[c + d*x] - 2*Log[a + b*(c + d*x)^3])/(6*a^3*d*e
)

________________________________________________________________________________________

fricas [B]  time = 1.10, size = 474, normalized size = 5.04 \[ \frac {2 \, a b d^{3} x^{3} + 6 \, a b c d^{2} x^{2} + 6 \, a b c^{2} d x + 2 \, a b c^{3} + 3 \, a^{2} - 2 \, {\left (b^{2} d^{6} x^{6} + 6 \, b^{2} c d^{5} x^{5} + 15 \, b^{2} c^{2} d^{4} x^{4} + b^{2} c^{6} + 2 \, {\left (10 \, b^{2} c^{3} + a b\right )} d^{3} x^{3} + 2 \, a b c^{3} + 3 \, {\left (5 \, b^{2} c^{4} + 2 \, a b c\right )} d^{2} x^{2} + 6 \, {\left (b^{2} c^{5} + a b c^{2}\right )} d x + a^{2}\right )} \log \left (b d^{3} x^{3} + 3 \, b c d^{2} x^{2} + 3 \, b c^{2} d x + b c^{3} + a\right ) + 6 \, {\left (b^{2} d^{6} x^{6} + 6 \, b^{2} c d^{5} x^{5} + 15 \, b^{2} c^{2} d^{4} x^{4} + b^{2} c^{6} + 2 \, {\left (10 \, b^{2} c^{3} + a b\right )} d^{3} x^{3} + 2 \, a b c^{3} + 3 \, {\left (5 \, b^{2} c^{4} + 2 \, a b c\right )} d^{2} x^{2} + 6 \, {\left (b^{2} c^{5} + a b c^{2}\right )} d x + a^{2}\right )} \log \left (d x + c\right )}{6 \, {\left (a^{3} b^{2} d^{7} e x^{6} + 6 \, a^{3} b^{2} c d^{6} e x^{5} + 15 \, a^{3} b^{2} c^{2} d^{5} e x^{4} + 2 \, {\left (10 \, a^{3} b^{2} c^{3} + a^{4} b\right )} d^{4} e x^{3} + 3 \, {\left (5 \, a^{3} b^{2} c^{4} + 2 \, a^{4} b c\right )} d^{3} e x^{2} + 6 \, {\left (a^{3} b^{2} c^{5} + a^{4} b c^{2}\right )} d^{2} e x + {\left (a^{3} b^{2} c^{6} + 2 \, a^{4} b c^{3} + a^{5}\right )} d e\right )}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(d*e*x+c*e)/(a+b*(d*x+c)^3)^3,x, algorithm="fricas")

[Out]

1/6*(2*a*b*d^3*x^3 + 6*a*b*c*d^2*x^2 + 6*a*b*c^2*d*x + 2*a*b*c^3 + 3*a^2 - 2*(b^2*d^6*x^6 + 6*b^2*c*d^5*x^5 +
15*b^2*c^2*d^4*x^4 + b^2*c^6 + 2*(10*b^2*c^3 + a*b)*d^3*x^3 + 2*a*b*c^3 + 3*(5*b^2*c^4 + 2*a*b*c)*d^2*x^2 + 6*
(b^2*c^5 + a*b*c^2)*d*x + a^2)*log(b*d^3*x^3 + 3*b*c*d^2*x^2 + 3*b*c^2*d*x + b*c^3 + a) + 6*(b^2*d^6*x^6 + 6*b
^2*c*d^5*x^5 + 15*b^2*c^2*d^4*x^4 + b^2*c^6 + 2*(10*b^2*c^3 + a*b)*d^3*x^3 + 2*a*b*c^3 + 3*(5*b^2*c^4 + 2*a*b*
c)*d^2*x^2 + 6*(b^2*c^5 + a*b*c^2)*d*x + a^2)*log(d*x + c))/(a^3*b^2*d^7*e*x^6 + 6*a^3*b^2*c*d^6*e*x^5 + 15*a^
3*b^2*c^2*d^5*e*x^4 + 2*(10*a^3*b^2*c^3 + a^4*b)*d^4*e*x^3 + 3*(5*a^3*b^2*c^4 + 2*a^4*b*c)*d^3*e*x^2 + 6*(a^3*
b^2*c^5 + a^4*b*c^2)*d^2*e*x + (a^3*b^2*c^6 + 2*a^4*b*c^3 + a^5)*d*e)

________________________________________________________________________________________

giac [A]  time = 0.24, size = 150, normalized size = 1.60 \[ -\frac {e^{\left (-1\right )} \log \left ({\left | b d^{3} x^{3} + 3 \, b c d^{2} x^{2} + 3 \, b c^{2} d x + b c^{3} + a \right |}\right )}{3 \, a^{3} d} + \frac {e^{\left (-1\right )} \log \left ({\left | d x + c \right |}\right )}{a^{3} d} + \frac {{\left (2 \, a b d^{3} x^{3} + 6 \, a b c d^{2} x^{2} + 6 \, a b c^{2} d x + 2 \, a b c^{3} + 3 \, a^{2}\right )} e^{\left (-1\right )}}{6 \, {\left (b d^{3} x^{3} + 3 \, b c d^{2} x^{2} + 3 \, b c^{2} d x + b c^{3} + a\right )}^{2} a^{3} d} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(d*e*x+c*e)/(a+b*(d*x+c)^3)^3,x, algorithm="giac")

[Out]

-1/3*e^(-1)*log(abs(b*d^3*x^3 + 3*b*c*d^2*x^2 + 3*b*c^2*d*x + b*c^3 + a))/(a^3*d) + e^(-1)*log(abs(d*x + c))/(
a^3*d) + 1/6*(2*a*b*d^3*x^3 + 6*a*b*c*d^2*x^2 + 6*a*b*c^2*d*x + 2*a*b*c^3 + 3*a^2)*e^(-1)/((b*d^3*x^3 + 3*b*c*
d^2*x^2 + 3*b*c^2*d*x + b*c^3 + a)^2*a^3*d)

________________________________________________________________________________________

maple [B]  time = 0.03, size = 304, normalized size = 3.23 \[ \frac {b \,d^{2} x^{3}}{3 \left (b \,d^{3} x^{3}+3 b c \,d^{2} x^{2}+3 b \,c^{2} d x +b \,c^{3}+a \right )^{2} a^{2} e}+\frac {b c d \,x^{2}}{\left (b \,d^{3} x^{3}+3 b c \,d^{2} x^{2}+3 b \,c^{2} d x +b \,c^{3}+a \right )^{2} a^{2} e}+\frac {b \,c^{2} x}{\left (b \,d^{3} x^{3}+3 b c \,d^{2} x^{2}+3 b \,c^{2} d x +b \,c^{3}+a \right )^{2} a^{2} e}+\frac {b \,c^{3}}{3 \left (b \,d^{3} x^{3}+3 b c \,d^{2} x^{2}+3 b \,c^{2} d x +b \,c^{3}+a \right )^{2} a^{2} d e}+\frac {1}{2 \left (b \,d^{3} x^{3}+3 b c \,d^{2} x^{2}+3 b \,c^{2} d x +b \,c^{3}+a \right )^{2} a d e}+\frac {\ln \left (d x +c \right )}{a^{3} d e}-\frac {\ln \left (b \,d^{3} x^{3}+3 b c \,d^{2} x^{2}+3 b \,c^{2} d x +b \,c^{3}+a \right )}{3 a^{3} d e} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/(d*e*x+c*e)/(a+b*(d*x+c)^3)^3,x)

[Out]

ln(d*x+c)/a^3/d/e+1/3/e*b/a^2/(b*d^3*x^3+3*b*c*d^2*x^2+3*b*c^2*d*x+b*c^3+a)^2*d^2*x^3+1/e*b/a^2/(b*d^3*x^3+3*b
*c*d^2*x^2+3*b*c^2*d*x+b*c^3+a)^2*c*d*x^2+1/e*b/a^2/(b*d^3*x^3+3*b*c*d^2*x^2+3*b*c^2*d*x+b*c^3+a)^2*c^2*x+1/3/
e*b/a^2/(b*d^3*x^3+3*b*c*d^2*x^2+3*b*c^2*d*x+b*c^3+a)^2/d*c^3+1/2/e/a/(b*d^3*x^3+3*b*c*d^2*x^2+3*b*c^2*d*x+b*c
^3+a)^2/d-1/3/e/a^3/d*ln(b*d^3*x^3+3*b*c*d^2*x^2+3*b*c^2*d*x+b*c^3+a)

________________________________________________________________________________________

maxima [B]  time = 0.61, size = 258, normalized size = 2.74 \[ \frac {2 \, b d^{3} x^{3} + 6 \, b c d^{2} x^{2} + 6 \, b c^{2} d x + 2 \, b c^{3} + 3 \, a}{6 \, {\left (a^{2} b^{2} d^{7} e x^{6} + 6 \, a^{2} b^{2} c d^{6} e x^{5} + 15 \, a^{2} b^{2} c^{2} d^{5} e x^{4} + 2 \, {\left (10 \, a^{2} b^{2} c^{3} + a^{3} b\right )} d^{4} e x^{3} + 3 \, {\left (5 \, a^{2} b^{2} c^{4} + 2 \, a^{3} b c\right )} d^{3} e x^{2} + 6 \, {\left (a^{2} b^{2} c^{5} + a^{3} b c^{2}\right )} d^{2} e x + {\left (a^{2} b^{2} c^{6} + 2 \, a^{3} b c^{3} + a^{4}\right )} d e\right )}} - \frac {\log \left (b d^{3} x^{3} + 3 \, b c d^{2} x^{2} + 3 \, b c^{2} d x + b c^{3} + a\right )}{3 \, a^{3} d e} + \frac {\log \left (d x + c\right )}{a^{3} d e} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(d*e*x+c*e)/(a+b*(d*x+c)^3)^3,x, algorithm="maxima")

[Out]

1/6*(2*b*d^3*x^3 + 6*b*c*d^2*x^2 + 6*b*c^2*d*x + 2*b*c^3 + 3*a)/(a^2*b^2*d^7*e*x^6 + 6*a^2*b^2*c*d^6*e*x^5 + 1
5*a^2*b^2*c^2*d^5*e*x^4 + 2*(10*a^2*b^2*c^3 + a^3*b)*d^4*e*x^3 + 3*(5*a^2*b^2*c^4 + 2*a^3*b*c)*d^3*e*x^2 + 6*(
a^2*b^2*c^5 + a^3*b*c^2)*d^2*e*x + (a^2*b^2*c^6 + 2*a^3*b*c^3 + a^4)*d*e) - 1/3*log(b*d^3*x^3 + 3*b*c*d^2*x^2
+ 3*b*c^2*d*x + b*c^3 + a)/(a^3*d*e) + log(d*x + c)/(a^3*d*e)

________________________________________________________________________________________

mupad [B]  time = 1.91, size = 249, normalized size = 2.65 \[ \frac {\frac {2\,b\,c^3+3\,a}{6\,a^2\,d}+\frac {b\,d^2\,x^3}{3\,a^2}+\frac {b\,c^2\,x}{a^2}+\frac {b\,c\,d\,x^2}{a^2}}{x^2\,\left (15\,e\,b^2\,c^4\,d^2+6\,a\,e\,b\,c\,d^2\right )+a^2\,e+x\,\left (6\,d\,e\,b^2\,c^5+6\,a\,d\,e\,b\,c^2\right )+x^3\,\left (20\,e\,b^2\,c^3\,d^3+2\,a\,e\,b\,d^3\right )+b^2\,c^6\,e+b^2\,d^6\,e\,x^6+2\,a\,b\,c^3\,e+6\,b^2\,c\,d^5\,e\,x^5+15\,b^2\,c^2\,d^4\,e\,x^4}+\frac {\ln \left (c+d\,x\right )}{a^3\,d\,e}-\frac {\ln \left (b\,c^3+3\,b\,c^2\,d\,x+3\,b\,c\,d^2\,x^2+b\,d^3\,x^3+a\right )}{3\,a^3\,d\,e} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/((c*e + d*e*x)*(a + b*(c + d*x)^3)^3),x)

[Out]

((3*a + 2*b*c^3)/(6*a^2*d) + (b*d^2*x^3)/(3*a^2) + (b*c^2*x)/a^2 + (b*c*d*x^2)/a^2)/(x^2*(15*b^2*c^4*d^2*e + 6
*a*b*c*d^2*e) + a^2*e + x*(6*b^2*c^5*d*e + 6*a*b*c^2*d*e) + x^3*(20*b^2*c^3*d^3*e + 2*a*b*d^3*e) + b^2*c^6*e +
 b^2*d^6*e*x^6 + 2*a*b*c^3*e + 6*b^2*c*d^5*e*x^5 + 15*b^2*c^2*d^4*e*x^4) + log(c + d*x)/(a^3*d*e) - log(a + b*
c^3 + b*d^3*x^3 + 3*b*c^2*d*x + 3*b*c*d^2*x^2)/(3*a^3*d*e)

________________________________________________________________________________________

sympy [B]  time = 5.06, size = 292, normalized size = 3.11 \[ \frac {3 a + 2 b c^{3} + 6 b c^{2} d x + 6 b c d^{2} x^{2} + 2 b d^{3} x^{3}}{6 a^{4} d e + 12 a^{3} b c^{3} d e + 6 a^{2} b^{2} c^{6} d e + 90 a^{2} b^{2} c^{2} d^{5} e x^{4} + 36 a^{2} b^{2} c d^{6} e x^{5} + 6 a^{2} b^{2} d^{7} e x^{6} + x^{3} \left (12 a^{3} b d^{4} e + 120 a^{2} b^{2} c^{3} d^{4} e\right ) + x^{2} \left (36 a^{3} b c d^{3} e + 90 a^{2} b^{2} c^{4} d^{3} e\right ) + x \left (36 a^{3} b c^{2} d^{2} e + 36 a^{2} b^{2} c^{5} d^{2} e\right )} + \frac {\log {\left (\frac {c}{d} + x \right )}}{a^{3} d e} - \frac {\log {\left (\frac {3 c^{2} x}{d^{2}} + \frac {3 c x^{2}}{d} + x^{3} + \frac {a + b c^{3}}{b d^{3}} \right )}}{3 a^{3} d e} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/(d*e*x+c*e)/(a+b*(d*x+c)**3)**3,x)

[Out]

(3*a + 2*b*c**3 + 6*b*c**2*d*x + 6*b*c*d**2*x**2 + 2*b*d**3*x**3)/(6*a**4*d*e + 12*a**3*b*c**3*d*e + 6*a**2*b*
*2*c**6*d*e + 90*a**2*b**2*c**2*d**5*e*x**4 + 36*a**2*b**2*c*d**6*e*x**5 + 6*a**2*b**2*d**7*e*x**6 + x**3*(12*
a**3*b*d**4*e + 120*a**2*b**2*c**3*d**4*e) + x**2*(36*a**3*b*c*d**3*e + 90*a**2*b**2*c**4*d**3*e) + x*(36*a**3
*b*c**2*d**2*e + 36*a**2*b**2*c**5*d**2*e)) + log(c/d + x)/(a**3*d*e) - log(3*c**2*x/d**2 + 3*c*x**2/d + x**3
+ (a + b*c**3)/(b*d**3))/(3*a**3*d*e)

________________________________________________________________________________________